H ? « ‹ ← → › »

Language peer sets for Temporal Prolog:
Japan↑
Japan/1983↑
Designed 1983 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1983↑
Context-based /1983↑
Data representation/1983↑
Horn clause/Japan↑
Context-based /Japan↑
Data representation/Japan↑
String and List Processing ↑
String and List Processing/1983↑
String and List Processing/jp ↑

Temporal Prolog(ID:5064/tem005)

alternate simple view
Country: Japan
Designed 1983
Genus: Horn clause
Sammet category: String and List Processing

Prolog with temporal logic extensions
Related languages
Prolog → Temporal Prolog   Extension of
References:
  • Sakuragawa, T (1983) Sakuragawa, T "Temporal Prolog - A programming language based on temporal logic"
  • Sakuragawa, T. (1987) Sakuragawa, T. "Temporal Prolog" In Proc. of RIMS Conference on Software Science and Engineering. Springer-Verlag, 1987.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Temporal Prolog
  • M.A. Sanchez, J.C. Augusto (2000) M.A. Sanchez, J.C. Augusto "Testing an Implementation of a Temporal Logic Language" XX International Conference of the Chilean Computer Science Society November 16 - 18, 2000 Santiago, Chile Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder